Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
611	Proof Reconstruction for Z3 in Isabelle/HOL Sascha B¨ohme Technische Universit¨at M¨ unchen [removed] Abstract Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2009-07-06 02:18:43 Proof theory Logic in computer science Automated theorem proving Formal methods Natural deduction Mathematical proof First-order logic Satisfiability Modulo Theories Propositional calculus Logic Mathematical logic Mathematics
612	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-16 09:32:31 Rules of inference Automated theorem proving Logic in computer science Logic programming Resolution Datalog Horn clause Unification Semantic reasoner Logic Mathematical logic Mathematics
613	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2013-08-30 16:16:40 Applied mathematics Logic Formal sciences Automated theorem proving Formal verification Model checking Concurrency Mathematical logic Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
614	PROOFS ENCLOSED Date: ______________________ Manuscript:_____________________________________________________ Author(s): ___________________________________ Attached are proofs for the above manuscript. Please read the a Add to Reading List Source URL: www.fs.fed.us Language: English - Date: 2008-05-08 13:20:58 Proof theory Mathematical logic Automated theorem proving Mathematical proof Proof Die proof Logic Mathematics Theoretical computer science
615	Job-Driven (JD) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB May 27, 2014 to be considered for funding Add to Reading List Source URL: doleta.gov Language: English - Date: 2014-04-25 14:50:46 Rules of inference Boolean algebra Logic in computer science Mathematics Mathematical logic Theoretical computer science Automated theorem proving
616	UBCIC Action Resolution Template Union of B.C. Indian Chiefs Chiefs Council/Annual General Assembly Date Location Add to Reading List Source URL: www.ubcic.bc.ca Language: English - Date: 2012-03-29 22:00:04 United Nations Secretariat Declaration on the Rights of Indigenous Peoples Resolution Logic International law International relations Automated theorem proving United Nations Economic and Social Council United Nations Permanent Forum on Indigenous Issues
617	S PE C I A L R E P ORT PROPOSITION 220 J U DI CI A L CO U NC I L O F C A L I F O R N I A • A D M I N I S T R ATI VE O FFI C E O F TH E CO U RTS NOVEMBER 25, 1998 Add to Reading List Source URL: www.courts.ca.gov Language: English - Date: 2014-07-25 15:36:49 San Bernardino California Superior court United States Constitution Geography of California Government California Superior Courts of California Automated theorem proving Logic programming Unification
618	Can a system learn from interactive proofs? Leo Freitas, Cliff B. Jones and Andrius Velykis Newcastle University {leo.freitas,cliff.jones,andrius.velykis}@newcastle.ac.uk Abstract This paper sets out the on-going researc Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:38 Automated theorem proving Logical syntax Mathematical logic Proof theory Heuristics Rippling Mathematical proof Theorem NP Logic Mathematics Theoretical computer science
619	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:39 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
620	Employer Charge/Deduction Worksheet Add to Reading List Source URL: doa.alaska.gov Language: English - Date: 2014-09-26 15:11:19 Automated theorem proving Mathematics Mechanization and Automated Reasoning Platform EE

UPDATE